UML类结构的形式化

为面向对象建模概念建立坚实的语义基础,越来越受到人们的重视。通过提供精确的概念特征定义,可建立精确的面向对象的行为模型和结构模型,便于对模型进行严格的分析。ＵＭＬ是一种被推荐的面向对象建模语言,ＲＡＩＳＥ是欧洲流行的一种形式方法,该文使用ＲＡＩＳＥ来表达ＵＭＬ类结构的含义。     

移动中间件研究

移动应用系统是移动设备通过无线网络连接固定网络组成的动态分布式系统,它具有设备移动性、间歇网络连接、资源有限性等特征.为了满足移动应用的要求,移动中间件被广泛地应用到移动应用系统,以屏蔽移动性带来的复杂性,提高移动系统的效率.结合移动应用系统的特点,分析了移动中间件的作用和满足的要求,归纳和比较了现有中间技术的特点,讨论了移动中间件的发展趋势.     

高分辨率遥感影像桥梁特征提取方法研究*

根据桥梁水体相连的知识,提出了一种基于知识的高分辨率遥感影像水上桥梁提取的实用方法,即在水体提取的基础上将图像细化,通过宽度限制检测桥梁主干线,并对其进行矢量化和特征表达来实现桥梁提取,通过实验证明了该方法的有效性。实验证明此方法不仅适合于水体与陆地灰度差别大,即单峰直方图的影像,还适合于水体与陆地灰度差别不大,即直方图多峰或峰顶不明显的影像。     

网格GIS系统设计及其在遥感图像处理上的应用*

随着地学数据特别是遥感数据与日剧增,许多数据却因为数据量大、处理困难而得不到有效利用。因此,如何更好地发展计算机网络技术,使得海量数据能够得到更好的共享与应用成为了困惑广大计算机专业及地学工作者的一大难题,网格计算提供了此问题的解决途径。以网格计算及其在GIS的应用为主线,首先分析了网格技术的特点,并进一步结合其在GIS中的应用给出了网格GIS的应用前景。同时以局域网为单位,结合网格设计的思想,借助中间件技术,讨论了基于局域网络的网格GIS系统的实现技术,并列举了所需的几项关键技术。特别就当前GIS所面临     

仿真机器人足球比赛中的射门策略

针对机器人足球传统射门策略存在射门成功率不高的情形,对FIRA机器人足球五对五仿真平台(SimuroSot 5vs5)中实体的运动规律进行了分析,提出了预测法射门策略.首先建立了机器人的变速运动模型和球在碰撞之后的运动模型,然后根据这些运动模型,实时地对机器人和球的速度及位置进行分析预测,寻找对方守门员的死角,确定最佳的射门区域.通过仿真实验,预测法射门策略与多人协作射门策略、死角法射门策略、基于艾米特插值(Her mite)曲线射门策略相比,明显提高射门的成功率和比赛进球数.     

锂盐改性累托石处理染料废水

采用锂盐对累托石进行改性,研究其最佳改性条件及吸附亚甲基蓝的热力学和动力学规律.以碳酸锂为改性剂,碳酸锂与草酸用量比为0.8∶1,试验出改性的最佳条件为：碳酸锂与累托石质量比为5%,固液比为1∶20,改性时间为3 h.改性后累托石对亚甲基蓝溶液的吸附性能明显优于未改性的累托石,吸附量提高了65%;热力学和动力学探究表明,改性累托石对亚甲基蓝的吸附过程符合Langmuir规律,动力学符合Lagergren准二级动力学规律.     

银—额盆地石炭—二叠纪以来的构造演化及其残余地层分布

通过对银—额盆地内现有二维地震资料的精细解释,并结合前人研究成果与认识,将研究区石炭—二叠纪及其之后的构造演化划分为5个阶段:石炭纪—二叠纪裂谷、裂陷构造演化阶段;晚二叠世—三叠纪挤压隆升构造阶段;侏罗纪—白垩纪陆内小型断陷盆地构造演化阶段;晚白垩世末期逆冲推覆构造阶段;古近纪—新近纪盆地分割与局部断陷阶段。在此基础上,通过对研究区石炭—二叠纪残余地层进行精细层位对比追踪,获得了石炭—二叠系的区域分布与埋深,为银—额盆地油气勘探提供借鉴。     

内燃机工作过程三维两相反应流数值模拟

针对内燃机缸内工作过程三维两相反应流动问题开发了一套数值模拟程序.对气相流动采用Euler方法求解,用有限体积法离散控制方程组,采用SIMPLEC算法求解压力速度耦合.而对液滴相采用离散液滴模型(DDM),通过Lagrange方法求解.对液滴追踪采用了一种快速的颗粒追踪方法,考虑了液滴相与气相的完全双相耦合情况,采用Spalding模型描述液滴蒸发,同时采用涡破碎(EBU)模型计算化学反应速率.对TBD620发动机工作过程进行了数值模拟,数值计算结果分别与理论值和实验值吻合良好,压力峰值处误差在2％以内,验证了程序的可行性,并通过不同网格模型证明了程序的网格独立性.     

CFRP加固混凝土柱抗震性能试验研究

为了探寻加固震损RC柱的有效方法,对3根用CFRP加固震损RC柱和1根对比柱进行了在低周水平反复荷载作用下的抗震性能试验研究.研究的主要参数为轴压比和预裂裂缝宽度,试验结果表明:(1)当轴压比相同时,震损较严重的柱经加固,可以与震损较轻的柱具有基本相同的承载力;当预裂裂缝宽度相同时,轴压比越大,碳纤维布加固震损RC柱极限承载力提高幅度更显著.(2)小轴压比加固柱位移延性系数提高更加明显.轴压比增大一倍(裂缝宽度相同),加固试件2与试件4相比,位移延性系数降低了27.7％;裂缝宽度增大一倍(轴压比相同),加固试件4与试件3相比,位移延性系数提高了22.8％.     

解读《标准》研究教学——蚌埠医学院《医学专业英语》教学改革思路

随着全球化进程的加快,医学教育的国际化趋势日趋明显。作为临床医学专业本科教育质量监控及教学工作自我评价的主要依据,教育部、卫生部于2008年9月制定了《本科医学教育标准—临床医学专业(试行)》。文章结合《标准》,着重论述了我校《医学专业英语》教学改革的一些具体的思路和方法。